Mutant hamster in a hurry
نویسندگان
چکیده
منابع مشابه
Coq in a Hurry
These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exerc...
متن کاملPlaying Pushdown Parity Games in a Hurry
Introduction. Infinite two-player games on graphs are a powerful tool to model, verify, and synthesize open reactive systems and are closely related to fixed-point logics. The winner of a play in such a game typically emerges only after completing the whole (infinite) play. Despite this, McNaughton became interested in playing infinite games in finite time, motivated by his belief that “infinit...
متن کاملPlaying Muller Games in a Hurry
This work considers a finite-duration variant of Muller games, and their connection to infinite-duration Muller games. In particular, it studies the question of how long a finiteduration Muller game must be played before the winner of the finite-duration game is guaranteed to be able to win the corresponding infinite-duration game. Previous work by McNaughton has shown that this must occur afte...
متن کاملMutant hamster cells exhibiting a pleiotropic effect on carbohydrate metabolism.
Sixty-seven galactose negative (Gal minus) clones were established from survivors after treatment of Chinese hamster lung (V79) cells with 5-bromodeoxyuridine and black light. The mutational origin of these clonal isolates was inferred on the basis of the previously demonstrated mutagenic action of the combined treatment, persistence of the Gal minus phenotype in cell progeny in the absence of ...
متن کاملA hamster-attenuated, temperature-sensitive mutant of Venezuelan encephalitis virus.
Pathogenicities of 10 temperature-sensitive mutants of Venezuelan encephalitis virus were studied using the hamster model of human virulence. The parental strain and nine of the temperature-sensitive mutants produced lethal infections in hamsters. Strain ts 126 showed reduced hamster virulence. Deaths with the lethal mutants usually occurred 1 to 3 days later than with parental virus. Nine muta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1989
ISSN: 0028-0836,1476-4687
DOI: 10.1038/337213b0